operating system definition